functor F(A : sig end) =
struct
  type set (= boxed)
end
